Большая советская энциклопедия - брауэр лейтзен эгберт ян
Брауэр лейтзен эгберт ян
брауэр лейтзен эгберт ян
Брауэр (Brouwer) Лейтзен Эгберт Ян (27.2.1881, Оверсхи, — 2.12.1966, Амстердам), голландский математик, член Нидерландской АН в Амстердаме (1912), член-корреспондент Парижской и Геттингенской АН, профессор Амстердамского университета (1912—51). С 1908 Б. последовательно проводил критику т. н. чистых математических доказательств существования, опирающихся на логичность исключенного третьего принцип, что в конечном счете положило начало целому направлению в обоснованиях математики — математическому интуиционизму. Но независимую от философии интуиционизма ценность имеет проведенный Б. анализ математических доказательств существования с точки зрения конструктивного построения тех объектов, существование которых доказывается. В частности, А. Н. Колмогоровым было показано, что правила так называемой интуиционистской логики находят свое реальное осуществление в логике конструктивного решения математических проблем. В 1911—13 Б. установил ряд важных понятий и результатов в области топологии. В их числе: понятия симплициальной аппроксимации и степени непрерывного отображения; понятие гомотопической классификации отображений; теорема о гомотопической эквивалентности двух отображений (сферы на себя), имеющих одну и ту же степень; теорема об инвариантности числа измерений и инвариантности внутренних точек (при топологическом отображении множества, лежащего в n-мeрном пространстве, в это же пространство); теорема о неподвижной точке, n-мeрная теорема Жордана и др. Эти результаты и методы, найденные для их доказательства, определили значительное влияние Б. на развитие топологии в период между 1-й и 2-й мировыми войнами. Лит.: Александров П. С., Комбинаторная топология, М. — Л., 1947; Вейль Г., О философии математики. Сб. работ, пер. с нем., М. — Л., 1934 (см. раздел: О новом кризисе основ математики).
Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 4917 | |
2 | 3031 | |
3 | 3002 | |
4 | 2832 | |
5 | 2825 | |
6 | 2792 | |
7 | 2726 | |
8 | 2713 | |
9 | 2600 | |
10 | 2526 | |
11 | 2346 | |
12 | 2218 | |
13 | 2181 | |
14 | 2176 | |
15 | 2151 | |
16 | 2064 | |
17 | 2054 | |
18 | 2043 | |
19 | 2028 | |
20 | 1985 |